subtype_com 9,38
Basic primitive for subtyping. Intended meaning is:

S subtype T iff
S 1. Every element of S is also an element of T
S 2. If x,y are equal elements of S, they are also equal
S 2. elements of t.

origin